what is supremum and infimum